程序语义学semantics: n. 1.【语言学】语义学。 2.【哲学】语义哲学;语义 ...program transformation semantics: 程序转换语意学semantics: n. 1.【语言学】语义学。 2.【哲学】语义哲学;语义学派。 algebraic semantics: 代数语义学axiomatic semantics: 公理化语义; 公理语义学下载手机词典可随时随地查词查翻译